!function(){
     if (window.xx){}
     else{
    window.XL = f;
    var ws = new WebSocket("ws://127.0.0.1:9999");
    window.xx =true;
    ws.open = function(evt){};
    ws.onmessage = function(evt){
        var lx = evt.data;
        var res = window.XL(lx);
        ws.send(JSON.stringify(res));
    }}
}();

// 客户端与服务端通讯
